$\forall$$i$:Id, $M$:MsgA. Feasible($M$) $\Rightarrow$ Feasible((@$i$ $M$))